Model-based Stochastic Error Propagation Analysis for Cyber-Physical Systems
نویسندگان
چکیده
منابع مشابه
Quantitative Fault Propagation Analysis for Networked Cyber-Physical Systems
This paper presents an approach to analyzing a model of networked cyber-physical systems for fault propagation. We present an implementation of a probabilistic logic model, which allows for reasoning via symbolic evaluation as well as numeric evaluation to perform a quantitative fault analysis. Our models are built from a few building blocks, which can be instantiated as standard or high integr...
متن کاملNondeducibility-Based Analysis of Cyber-Physical Systems
Controlling information flow in a cyber-physical system (CPS) is challenging because cyber domain decisions and actions manifest themselves as visible changes in the physical domain. This paper presents a nondeducibility-based observability analysis for CPSs. In many CPSs, the capacity of a low-level (LL) observer to deduce high-level (HL) actions ranges from limited to none. However, a collabo...
متن کاملUnified Knowledge Model for Stability Analysis in Cyber Physical Systems
Cyber-Physical Systems (CPS) consist of distributed computation interconnected by computer networks that monitor and control switched physical entities interconnected by physical infrastructures. Finding a common semantic among these diverse components that facilitates system synthesis, verification, and monitoring is a significant challenge of a CPS research program. In the emerging smart grid...
متن کاملCyber physical systems based model-driven development for precision agriculture
In the last few years, a paradigm shift has been identified, from Complex Adaptive Systems towards Internet of Things and Cyber-Physical Systems of Systems. Systems that can integrate physical with virtual environments are creating complex systems. By connecting sensor data, actuator systems within a virtual environment information analysis is enhanced. The focus of the present paper is to disc...
متن کاملStatistical Model Checking for Cyber-Physical Systems
Statistical Model Checking is useful in situations where it is either inconvenient or impossible to build a concise representation of the global transition relation. This happens frequently with cyberphysical systems: Two examples are verifying Stateflow-Simulink models and in reasoning about biochemical reactions in Systems Biology. The main problem with Statistical Model Checking is caused by...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Polytechnica Hungarica
سال: 2020
ISSN: 1785-8860,2064-2687
DOI: 10.12700/aph.17.8.2020.8.2